Generic programming - PDFSEARCH.IO - Document Search Engine

Generic programming
Results: 1118

#	Item
231	slide 1 gaius C++ Templates during this lecture we will rewrite our int based slist to take any Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:43 Computer programming Generic programming C++ classes Sequence container ALGOL 68 Template Software engineering Computing C++
232	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-01-20 04:13:04 C++ Generic programming Concepts Template Constraint satisfaction Class ALGOL 68 C Typename Software engineering Computing Computer programming
233	Once, Weakly: A Problem With Coordination A Problem With Coordination This item looks at problem in interface design that plays off safety and flexibility. Let’s look at a class template that is parameterized with some Add to Reading List Source URL: www.stevedewhurst.com Language: English - Date: 2015-01-04 09:38:51 C++ Standard Library Abstract data types C++ Generic programming Stack Sequence container Double-ended queue Template Allocator Software engineering Computing Computer programming
234	Draft submitted to POPLClosed Type Families with Overlapping Equations Richard A. Eisenberg University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:19 Continuous function Denotational semantics Generic programming Software engineering Symbol Theoretical computer science Mathematics Calculus
235	SH-5 Generic and C Specific ABI Language Independent Application Binary Interface The Language Independent ABI is intended to define the minimal conventions that must be used by all languages on the SH-5 architecture. T Add to Reading List Source URL: lars.nocrew.org Language: English Subroutines Assembly languages Instruction set architectures Microcontrollers X86 architecture Application binary interface Stack Addressing mode Function prologue Computing Software engineering Computer programming
236	Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Type theory Dependently typed programming Computability theory General topology Net Inductive data type Constructible universe Inductive reasoning Linear logic Logic Mathematical logic Mathematics
237	Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:11 Programming language theory Computing Recursive data type Papyrus 1 Type system Type safety Generic programming Type theory Data types Software engineering
238	MA019−012−00−00 Doc. ver.: 1.72 C166/ST10 v8.8 C++ Compiler User’s Manual Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-10-15 07:21:24 Procedural programming languages Generic programming Cfront Precompiled header XL Standard Template Library Unix ALGOL 68 C++ Computer programming Software engineering Computing
239	MA019−012−00−00 Doc. ver.: 1.73 C166/ST10 v8.9 C++ Compiler User’s Manual Add to Reading List Source URL: www.tasking.com Language: English - Date: 2012-03-15 12:43:57 Procedural programming languages Generic programming Cfront Precompiled header XL Standard Template Library Unix ALGOL 68 C++ Computer programming Software engineering Computing
240	Once, Weakly: Typelist Meta-Algorithms Typelist Meta-Algorithms The other day I was reading Andrei Alexandrescu’s clever implementation of an ad hoc Visitor that I had unaccountably overlooked when it first appeared. ( Add to Reading List Source URL: www.stevedewhurst.com Language: English - Date: 2015-01-04 09:38:52 Computer programming C programming language Cross-platform software Generic programming Type theory Typedef Enumerated type Struct Typename Software engineering C++ Computing

UPDATE